ecl-machine3(ds;da;x;T;ks;a;snd)
== lremove-repeats(IdLnkDeq;msg-spec-links(snd)).R-lnk-tags(ds  x : T;da;l;ecl-tags(l;snd);ks;ecl-m3(a;snd;x;l)) 

latex

---

clarification:

ecl-machine3(ds;da;x;T;ks;a;snd)
== lremove-repeats(IdLnkDeq;msg-spec-links(snd)).R-lnk-tags(fpf-join(IdDeq;ds;x : T);da;l;ecl-tags(l;snd);ks;ecl-m3(a;snd;x;l)) 

latex

Definitions	xL.R(x), remove-repeats(eq;L), IdLnkDeq, msg-spec-links(snd), R-lnk-tags(ds;da;l;tgs;ks;g), f  g, IdDeq, x : v, ecl-tags(l;snd), ecl-m3(a;snd;x;l)
FDL editor aliases	ecl-machine3